<html>
<head><meta charset="utf-8"><title>facebook mirai · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/facebook.20mirai.html">facebook mirai</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="152206865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/facebook%20mirai/near/152206865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/facebook.20mirai.html#152206865">(Dec 19 2018 at 19:35)</a>:</h4>
<p>Does anybody know anything about this? <a href="https://github.com/facebookexperimental/MIRAI" target="_blank" title="https://github.com/facebookexperimental/MIRAI">https://github.com/facebookexperimental/MIRAI</a></p>
<p>cc <span class="user-mention" data-user-id="124288">@Oli</span> <span class="user-mention" data-user-id="120791">@RalfJ</span> <span class="user-mention" data-user-id="119009">@eddyb</span> <span class="user-mention" data-user-id="126804">@Ariel Ben-Yehuda</span></p>



<a name="152206976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/facebook%20mirai/near/152206976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/facebook.20mirai.html#152206976">(Dec 19 2018 at 19:36)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> pointed it out to me</p>



<a name="152206979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/facebook%20mirai/near/152206979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/facebook.20mirai.html#152206979">(Dec 19 2018 at 19:36)</a>:</h4>
<p>seems interesting :)</p>



<a name="152207006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/facebook%20mirai/near/152207006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/facebook.20mirai.html#152207006">(Dec 19 2018 at 19:37)</a>:</h4>
<p>no I have not^^</p>



<a name="152211268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/facebook%20mirai/near/152211268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/facebook.20mirai.html#152211268">(Dec 19 2018 at 20:38)</a>:</h4>
<p>They wrote an email to the WG-Verification mailing list some time ago in which they mentioned that they are planning to build a static analyser based on abstract interpretation and asked if anyone would be interested in discussing that. Since for our stuff it is very relevant, we followed up.</p>



<a name="152231214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/facebook%20mirai/near/152231214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/facebook.20mirai.html#152231214">(Dec 20 2018 at 03:30)</a>:</h4>
<p>That's awesome !</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>